![](/img/cover-not-exists.png)
Extending Horn clause logic with implication goals
Laura Giordano, Alberto Martelli, Gianfranco RossiVolume:
95
Year:
1992
Language:
english
Pages:
32
DOI:
10.1016/0304-3975(92)90066-o
File:
PDF, 2.13 MB
english, 1992