5. LPAR 1994: Kiev, Ukraine

• Amy P. Felty, Douglas J. Howe:
  Generalization and Reuse of Tactic Proofs. 1-15
  
• Fausto Giunchiglia, Paolo Traverso:
  Program Tactics and Logic Tactics. 16-30
  
• Philippe de Groote:
  On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. 31-43
  
• Sergei Tupailo:
  On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA. 44-53
  
• Raul Monroy, Alan Bundy, Andrew Ireland:
  Proof Plans for the Correction of False Conjectures. 54-68
  
• Uwe Egly:
  On the Value of Antiprenexing. 69-83
  
• Henk Vandecasteele, Danny De Schreye:
  Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. 84-98
  
• Hoon Hong:
  RISC-CLP(CF) Constraint Logic Programming over Complex Functions. 99-113
  
• Dominic Duggan:
  Logical Closures. 114-128
  
• Jean Goubault:
  Higher-Order Rigid E-Unification. 129-143
  
• Penny Anderson:
  Program Extraction in a Logical Framework Setting. 144-158
  
• Joëlle Despeyroux, André Hirschowitz:
  Higher-Order Abstract Syntax with Induction in Coq. 159-173
  
• Stefan Brüning:
  Towards Efficient Calculi for Resource-Oriented Deductive Planning. 174-188
  
• Paulo Quaresma, José Gabriel Lopes:
  A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues. 189-199
  
• John Darlington, Yike Guo:
  Constraint Logic Programming in the Sequent Calculus. 200-214
  
• Jürgen Avenhaus, Carlos Loría-Sáenz:
  On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. 215-229
  
• Cristian Papp:
  A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs. 230-244
  
• Dietmar Seipel:
  An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. 245-259
  
• Donald A. Smith, Timothy J. Hickey:
  Multi-SLD Resolution. 260-274
  
• Bernard Becker, Reiner Hähnle, Anavai Ramesh, Neil V. Murray:
  On Anti-Links. 275-289
  
• Lunjin Lu:
  A Generic Declarative Diagnoser for Normal Logic Programs. 290-304
  
• Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo:
  Goal Dependent versus Goal Independent Analysis of Logic Programs. 305-319
  
• Philippe Mathieu, Jean-Paul Delahaye:
  A Kind of Achievement by Parts Method. 320-332
  
• Zhenhua Duan, Maciej Koutny, Chris Holt:
  Projection in Temporal Logic Programming. 333-344