Extending Horn clause logic with implication goals☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This work has been partially supported by MPI 40% and by CNR-Progetto Finalizzato “Sistemi Informatici e Calcolo Parallelo” under grant no. 89.00038.69.
Copyright © 1992 Published by Elsevier B.V.