NESTED GUARDED HORN CLAUSES
FALASCHI, MORENO, GABBRIELLI, MAURIZIO, LEVI, GIORGIO, MURAKAMI, MASAKIVolume:
1
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054190000187
Date:
September, 1990
File:
PDF, 736 KB
english, 1990