%0 Conference Paper %1 conf/fsttcs/SiegelS94 %A Siegel, Michael %A Stomp, Frank A. %B FSTTCS %D 1994 %E Thiagarajan, P. S. %I Springer %K dblp %P 402-413 %T Extending the Limits of Sequentially Phased Reasoning. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs94.html#SiegelS94 %V 880 %@ 3-540-58715-2

@inproceedings{conf/fsttcs/SiegelS94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Siegel, Michael and Stomp, Frank A.}, biburl = {https://www.bibsonomy.org/bibtex/2b9c754047bdc999d9896a5f1894100ba/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/1994}, editor = {Thiagarajan, P. S.}, ee = {https://doi.org/10.1007/3-540-58715-2_141}, interhash = {90212fc9e78a2a0946aa0518c1419347}, intrahash = {b9c754047bdc999d9896a5f1894100ba}, isbn = {3-540-58715-2}, keywords = {dblp}, pages = {402-413}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:16.000+0200}, title = {Extending the Limits of Sequentially Phased Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs94.html#SiegelS94}, volume = 880, year = 1994 }