Created on June 01, 2026
2026
New JAIR article on reasoning about substitution in resource-transforming procedures.