%0 Journal Article %1 journals/jsyml/BunderD01 %A Bunder, Martin W. %A Dekkers, Wil %D 2001 %J J. Symb. Log. %K dblp %N 4 %P 1561-1580 %T Pure Type Systems with More Liberal Rules. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#BunderD01 %V 66

@article{journals/jsyml/BunderD01, added-at = {2014-08-05T00:00:00.000+0200}, author = {Bunder, Martin W. and Dekkers, Wil}, biburl = {https://www.bibsonomy.org/bibtex/29199531d087e47aac64a840980cb5d19/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183746612}, interhash = {050bebd7dbd4cb084955bed73ce3a93f}, intrahash = {9199531d087e47aac64a840980cb5d19}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 4, pages = {1561-1580}, timestamp = {2015-06-18T02:30:30.000+0200}, title = {Pure Type Systems with More Liberal Rules.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#BunderD01}, volume = 66, year = 2001 }