Publications Home » A Hybrid Abductive Inductive Proo...
A Hybrid Abductive Inductive Proof Procedure
Oliver Ray, Krysia Broda, Alessandra Russo
- Journal Article
- Logic Journal of the IGPL
- Volume 12
- Issue 5
- pp.371–397
- December, 2004
- Oxford University Press
BibTEX file for the publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.