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
January 1, 1989
DOI
10.1007/bfb0035796
ISSN
0302-9743