Qualified Logic Programming with Bivalued Predicates
Mario Rodríguez-Artalejo, Carlos A. Romero-DíazVolume:
248
Year:
2009
Language:
english
Pages:
16
DOI:
10.1016/j.entcs.2009.07.060
File:
PDF, 350 KB
english, 2009