![](/img/cover-not-exists.png)
Equality and abductive residua for Horn clauses
E. Knill, P.T. Cox, T. PietrzykowskiVolume:
120
Year:
1993
Language:
english
Pages:
44
DOI:
10.1016/0304-3975(93)90243-m
File:
PDF, 2.96 MB
english, 1993