Flexible Static Semantic Checking Using First-Order Logic.

Shimon Rura Barbara Staudt Lerner Flexible Static Semantic Checking Using First-Order Logic. 143-153 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2786&spage=143 2003 conf/ewspt/2003 EWSPT db/conf/ewspt/ewspt2003.html#RuraL03