Journal of Logic and Algebraic Programming, Volume 47

Volume 47, Number 1, January-February 2001

• Paul E. Dunne, Trevor J. M. Bench-Capon: A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses. 1-14
• C. A. Middelburg: Variable binding operators in transition system specifications. 15-45

Volume 47, Number 2, March-April 2001

• Twan Basten, Wil M. P. van der Aalst: Inheritance of behavior. 47-145