%0 Conference Paper %1 conf/iwar/HasegawaKF92 %A Hasegawa, Ryuzo %A Koshimura, Miyuki %A Fujita, Hiroshi %B IWAR %D 1992 %E Shi, Zhongshi %I North-Holland %K dblp %P 221-238 %T Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. %U http://dblp.uni-trier.de/db/conf/iwar/iwar1992.html#HasegawaKF92 %V A-19 %@ 0-444-89876-X

@inproceedings{conf/iwar/HasegawaKF92, added-at = {2021-11-18T00:00:00.000+0100}, author = {Hasegawa, Ryuzo and Koshimura, Miyuki and Fujita, Hiroshi}, biburl = {https://www.bibsonomy.org/bibtex/2f44264928aeb948d6e5e7bfd2761627d/dblp}, booktitle = {IWAR}, crossref = {conf/iwar/1992}, editor = {Shi, Zhongshi}, interhash = {d0551f37fdc1b351d0be63e6bd535f6f}, intrahash = {f44264928aeb948d6e5e7bfd2761627d}, isbn = {0-444-89876-X}, keywords = {dblp}, pages = {221-238}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2024-04-10T09:47:01.000+0200}, title = {Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers.}, url = {http://dblp.uni-trier.de/db/conf/iwar/iwar1992.html#HasegawaKF92}, volume = {A-19}, year = 1992 }