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 BibTeX
• C. A. Middelburg: Variable binding operators in transition system specifications. 15-45 BibTeX

Volume 47, Number 2, March-April 2001

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