Daniel P. Miranker

• TREAT
• TREAT (Research Notes in Artificial Intelligence)