Goals in the prepositional Horn⊃ language are monotone Boolean circuits
Proceedings:
Lecture Notes in Computer Science
ISSN: 0302-9743
Year of publication: 2005
Volume: 3618
Pages: 376-386
Type: Conference paper