A Tool for Testing Confluence of Production Rules.

James G. Schmolze Wayne Snyder A Tool for Testing Confluence of Production Rules. 1995 conf/eurovav/1995 EUROVAV db/conf/eurovav/eurovav1995.html#SchmolzeS95 91-104