Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor. A New Language for the Visualization of Logic and Reasoning. In Angela Guercio, Timothy Arndt, editors, Proceedings of the 11th International Conference on Distributed Multimedia Systems, DMS 2005, September 5-7, 2005, Fairmont Banff Springs Hotel, Banff, Alberta, Canada. pages 287-292, Knowledge Systems Institute, 2005.
@inproceedings{StapletonTFHT05,
title = {A New Language for the Visualization of Logic and Reasoning},
author = {Gem Stapleton and Simon Thompson and Andrew Fish and John Howse and John Taylor},
year = {2005},
tags = {logic},
researchr = {https://researchr.org/publication/StapletonTFHT05},
cites = {0},
citedby = {0},
pages = {287-292},
booktitle = {Proceedings of the 11th International Conference on Distributed Multimedia Systems, DMS 2005, September 5-7, 2005, Fairmont Banff Springs Hotel, Banff, Alberta, Canada},
editor = {Angela Guercio and Timothy Arndt},
publisher = {Knowledge Systems Institute},
isbn = {1-891706-17-9},
}