%0 Journal Article %1 journals/tc/VroomenZBH89 %A Vroomen, Louis J. %A Zsombor-Murray, Paul J. %A Baracos, P. %A Hudson, Robert D. %D 1989 %J IEEE Trans. Computers %K dblp %N 6 %P 880-881 %T Comments on Älgorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity". %U http://dblp.uni-trier.de/db/journals/tc/tc38.html#VroomenZBH89 %V 38

@article{journals/tc/VroomenZBH89, added-at = {2015-12-22T00:00:00.000+0100}, author = {Vroomen, Louis J. and Zsombor-Murray, Paul J. and Baracos, P. and Hudson, Robert D.}, biburl = {https://www.bibsonomy.org/bibtex/256036dea6e3b2a772828f64a08de2740/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/12.24299}, interhash = {a60e4c5b3793368cb4af6c89af377fb1}, intrahash = {56036dea6e3b2a772828f64a08de2740}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 6, pages = {880-881}, timestamp = {2015-12-24T11:50:33.000+0100}, title = {Comments on "Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity".}, url = {http://dblp.uni-trier.de/db/journals/tc/tc38.html#VroomenZBH89}, volume = 38, year = 1989 }