Jared L. Darlington

• Introduction to Specinkt
• Search direction by goal failure in goal-oriented programming