The functional logic language BABEL and its implementation on a graph machine Herbert KuchenRita LoogenMario RodrÃguez-Artalejo Regular Papers Pages: 391 - 427
Chart parsers as inference systems for fixed-mode logic programs David A. Rosenblueth Regular Papers Pages: 429 - 458