@inbook{mitchell_scedrov_1993, title={Notes on sconing and relators}, ISBN={9783540478904}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/3-540-56992-8_21}, DOI={10.1007/3-540-56992-8_21}, booktitle={Computer Science Logic}, publisher={Springer Berlin Heidelberg}, author={Mitchell, John C. and Scedrov, Andre}, year={1993}, pages={352–378} }