Flexible Static Semantic Checking Using First-Order Logic. - Shimon Rura; Barbara Staudt Lerner (EWSPT, 2003)