Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part I Kakas, A.C. Heftet / 2002 / Engelsk
Formal Methods in Databases and Software Engineering Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 Alagar, V.S. Heftet / 1993 / Engelsk
