Annals of Mathematics and Artificial Intelligence 3(2-4) 1991
(1991)
Caseau, Yves (1991)
Caseau, Yves "An Object-Oriented Deductive Language"