A resolution principle for constrained logics

This publication has 14 references indexed in Scilit:

• KRIS
  ACM SIGART Bulletin, 1991
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
  Artificial Intelligence, 1991
• Unification: a multidisciplinary survey
  ACM Computing Surveys, 1989
• Opening the AC-unification race
  Journal of Automated Reasoning, 1988
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• An Overview of the KL‐ONE Knowledge Representation System*
  Cognitive Science, 1985
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• An algorithm to generate the basis of solutions to homogeneous linear diophantine equations
  Information Processing Letters, 1978
• Untersuchungen zur mehrsortigen Quantorenlogik
  Mathematische Annalen, 1962
• A theory of restricted quantification I
  The Journal of Symbolic Logic, 1957