Agata Ciabattoni. On Urquhart s C Logic. In ISMVL. pages 113, 2000. [doi]
@inproceedings{Ciabattoni00, title = {On Urquhart s C Logic}, author = {Agata Ciabattoni}, year = {2000}, url = {http://computer.org/proceedings/ismvl/0692/06920113abs.htm}, tags = {C++, logic}, researchr = {https://researchr.org/publication/Ciabattoni00}, cites = {0}, citedby = {0}, pages = {113}, booktitle = {ISMVL}, }