David A. Plaisted A Simplified Problem Reduction Format. 227-261 1982 18 Artif. Intell. 2 db/journals/ai/ai18.html#Plaisted82