Mark Derthick

• Mundane reasoning by parallel constraint satisfaction