4. LPAR 1993: St. Petersburg, Russia
: Linear 0-1 Inequalities and Extended Clauses.
: Search Space Pruning by Checking Dynamic Term Growth.
Hiu Fai Chau
: A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems.
: A First Order Resolution Calculus with Symmetries.
Patricia M. Hill
: The Completion of Typed Logic Programs and SLDNF-Resolution.
: Refinements and Extensions of Model Elimination.
Hans de Nivelle
: Generic Resolution in Propositional Modal Systems.
Sven Eric Panitz
: Default Reasoning with a Constraint Resolution Principle.
, Michel Rueher
: Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations.
: A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems.
: Neutralization and Preemtion in Extended Logic Programs.
: A Complete Axiom System for Isomorphism of Types in Closed Categories.
: Reasoning, Modeling, and Component-Based Technology.