Declarative logic programming theory, systems, and applications

Available for University of the Philippines Diliman via ACM Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via ACM Digital Library. Click here to access thru EZproxy

OSP an environment for operating system project по Kifer, Michael