Ambivalent logic as the semantic basis of metalogic programming: I (1994)

by Y Jiang
Venue:Proc. 11th Intl. Conf. on Logic Programming