Pierre Deransart;Manuel V. Hermenegildo;Jan Maluszynski
-;-;-
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science