Ashok K. Chandra
On the Decision Problems of Program Schemas with Commutative and Invertable Functions
POPL, 1973.
@inproceedings{POPL-1973-Chandra,
author = "Ashok K. Chandra",
booktitle = "{Conference Record of the First Symposium on Principles of Programming Languages}",
doi = "10.1145/512927.512949",
editor = "Patrick C. Fischer and Jeffrey D. Ullman",
pages = "235--242",
publisher = "{ACM Press}",
title = "{On the Decision Problems of Program Schemas with Commutative and Invertable Functions}",
year = 1973,
}