Switch to: Citations

Add references

You must login to add references.
  1. Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
  • An order-sorted logic for knowledge representation systems.C. Beierle, U. Hedtstück, U. Pletat, P. H. Schmitt & J. Siekmann - 1992 - Artificial Intelligence 55 (2-3):149-191.