%0 Journal Article %1 journals/ipl/HehnerS81 %A Hehner, Eric C. R. %A Shyamasundar, R. K. %D 1981 %J Inf. Process. Lett. %K dblp %N 4 %P 196-198 %T An Implementation of P and V. %U http://dblp.uni-trier.de/db/journals/ipl/ipl12.html#HehnerS81 %V 12

@article{journals/ipl/HehnerS81, added-at = {2011-07-07T00:00:00.000+0200}, author = {Hehner, Eric C. R. and Shyamasundar, R. K.}, biburl = {https://www.bibsonomy.org/bibtex/2b9638e1f55966275959ad6935a8f06ed/dblp}, ee = {http://dx.doi.org/10.1016/0020-0190(81)90100-9}, interhash = {1611f4b661638fa15f30e52da440a6a9}, intrahash = {b9638e1f55966275959ad6935a8f06ed}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 4, pages = {196-198}, timestamp = {2011-07-08T11:33:28.000+0200}, title = {An Implementation of P and V.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl12.html#HehnerS81}, volume = 12, year = 1981 }