A functional style of programming with CSP-like communication mechanisms A. K. GoswamiL. M. Patnaik Regular Papers Pages: 341 - 364
Inductive inference of logic programs based on algebraic semantics Yasubumi Sakakibara Regular Papers Pages: 365 - 380
The programming language GCLA — A definitional approach to logic programming Martin AronssonLars-Henrik ErikssonPeter Olin Regular Papers Pages: 381 - 404