Logic Engines as Interactors
Logic program specialisation through partial deduction: Control issues
Logic programming in the context of multiparadigm programming: the Oz experience
Logic Programming with Satisfiability
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
Logical Concurrency Control from Sequential Proofs
Logical Step-Indexed Logical Relations
Logics for XML
LR(1) Parser Generation System: LR(1) Error Recovery, Oracles, and Generic Tokens
LXG Compiler - Design and Implementation