SWi 83 (1987)

by D Sannella, M Wirsing
Venue:Proc. 1987 IEEE Symp. on Logic Programming