%0 Journal Article %1 journals/tcs/BaetenBK87 %A Baeten, Jos C. M. %A Bergstra, Jan A. %A Klop, Jan Willem %D 1987 %J Theor. Comput. Sci. %K dblp %P 129-176 %T On the Consistency of Koomen's Fair Abstraction Rule. %U http://dblp.uni-trier.de/db/journals/tcs/tcs51.html#BaetenBK87 %V 51

@article{journals/tcs/BaetenBK87, added-at = {2021-02-17T00:00:00.000+0100}, author = {Baeten, Jos C. M. and Bergstra, Jan A. and Klop, Jan Willem}, biburl = {https://www.bibsonomy.org/bibtex/2ad02b78166f2adb3b8062d90b3aaf5de/dblp}, ee = {https://doi.org/10.1016/0304-3975(87)90052-1}, interhash = {5b4d52a686ce15dfbdc9b898ac1a9553}, intrahash = {ad02b78166f2adb3b8062d90b3aaf5de}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {129-176}, timestamp = {2024-04-08T18:37:10.000+0200}, title = {On the Consistency of Koomen's Fair Abstraction Rule.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs51.html#BaetenBK87}, volume = 51, year = 1987 }