%0 Conference Paper %1 conf/aplas/IdaM00 %A Ida, Tetsuo %A Marin, Mircea %B APLAS %D 2000 %K dblp %P 163-166 %T An Open Environment for Cooperative Equational Solving. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2000.html#IdaM00

@inproceedings{conf/aplas/IdaM00, added-at = {2004-06-01T00:00:00.000+0200}, author = {Ida, Tetsuo and Marin, Mircea}, biburl = {https://www.bibsonomy.org/bibtex/202b4d40fa8e007de2b4378ecac9a5f7a/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2000}, date = {2004-06-01}, description = {dblp}, interhash = {71cf5cb566f75866314c1e94171cb540}, intrahash = {02b4d40fa8e007de2b4378ecac9a5f7a}, keywords = {dblp}, pages = {163-166}, timestamp = {2004-06-01T00:00:00.000+0200}, title = {An Open Environment for Cooperative Equational Solving.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2000.html#IdaM00}, year = 2000 }