82

AndorraI: A parallel prolog system that transparently exploits both and and orparallelism
– V S Costa, D H D Warren, R Yang
 1991

11

A Theory of Observables for Logic Programs
– Marco Comini, Giorgio Levi, Maria Chiara Meo
 1999

10

Logic Programming, Functional Programming, and Inductive Definitions
– Lawrence C. Paulson, Lawrence C. Paulson, Andrew W. Smith, Andrew W. Smith
 1991

18

Logic programming and parallel complexity
– P C Kanellakis
 1988

6

A Fibrational Semantics for Logic Programs
– Y. Kinoshita, A.J. Power
 1996

4

On the Duality between Orparallelism and Andparallelism in Logic Programming
– Enrico Pontelli, Gopal Gupta
 1995

5

Fibrational semantics for manyvalued logic programs
– E Komendantskaya, J Power
 2008

2

Optimal Implementation of AndOr Parallel Prolog
– Gopal Gupta, Vítor Santos Costa

14

Coinductive logic programming and its applications
– G Gupta, A Bansal, R Min, L Simon, A Mallya
 2007

1

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
– Ekaterina Komendantskaya, Guy Mccusker, John Power

3

On the algebraic structure of declarative programming languages
– G Amato, J Lipton, R McGrail

2

Observable behaviors and equivalnences of logic programs
– M Gabrielli, G Levi, M C Meo
 1995

2

On greatest fixpoint semantics of logic programming
– M Jaume

1

L ’ 1 1 Coalgebraic Derivations in Logic Programming 3 A. Asperti and
– C S
 1989

12

CoLogic Programming: Extending Logic Programming with Coinduction
– Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta
 2006

1858

Foundation of Logic Programming
– J W Lloyd
 1987

100

The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Applied Logic Series
– D J Pym
 2002

155

Higherorder logic programming
– Gopalan Nadathur, Dale Miller
