![]() |
@inproceedings{DBLP:conf/sas/Sun91,
author = {Yong Sun},
title = {Equational Logics},
booktitle = {JTASPEFT/WSA},
year = {1991},
pages = {44-52},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2007-05-23 by Michael Ley (ley@uni-trier.de)