Sadeph Saidi Jean-François Boulicaut Checking and Debugging of Two-level Grammars. 158-171 1992 conf/plilp/1992 PLILP db/conf/plilp/plilp92.html#SaidiB92 http://dx.doi.org/10.1007/3-540-55844-6_93