Journal article
Horn programs and semicomputable relations on abstract structures
Authors
Tucker JV; Zucker JI
Journal
Lecture Notes in Computer Science, Vol. 372, , pp. 745–760
Publisher
Springer Nature
Publication Date
1989
DOI
10.1007/bfb0035796
ISSN
0302-9743