%0 Conference Paper %1 conf/adt/NieuwenhuisO90 %A Nieuwenhuis, Robert %A Orejas, Fernando %B ADT %D 1990 %E Ehrig, Hartmut %E Jantke, Klaus P. %E Orejas, Fernando %E Reichel, Horst %I Springer %K dblp %P 204-219 %T Clausal Rewriting: Applications and Implementation. %U http://dblp.uni-trier.de/db/conf/adt/adt1990.html#NieuwenhuisO90 %V 534 %@ 3-540-54496-8

@inproceedings{conf/adt/NieuwenhuisO90, added-at = {2017-05-20T00:00:00.000+0200}, author = {Nieuwenhuis, Robert and Orejas, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2f439075d5da6f4da003ef31666405780/dblp}, booktitle = {ADT}, crossref = {conf/adt/1990}, editor = {Ehrig, Hartmut and Jantke, Klaus P. and Orejas, Fernando and Reichel, Horst}, ee = {https://doi.org/10.1007/3-540-54496-8_11}, interhash = {7d55425329c747dbe38fdc7c85f31d45}, intrahash = {f439075d5da6f4da003ef31666405780}, isbn = {3-540-54496-8}, keywords = {dblp}, pages = {204-219}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-10-07T08:12:01.000+0200}, title = {Clausal Rewriting: Applications and Implementation.}, url = {http://dblp.uni-trier.de/db/conf/adt/adt1990.html#NieuwenhuisO90}, volume = 534, year = 1990 }