Editors: Georg Gottlob, Alexander Leitsch, Daniele Mundici

Lecture Notes in Computer Science 1289, Springer Verlag 1997, ISBN 3-540-63385-5