Logic programming with bounded quantifiers (1992)

by A Voronkov
Venue:Logic Programming and Automated Reasoning---Proc. 2nd Russian Conference on Logic Programming ', LNCS 592