%0 Journal Article %1 journals/aml/Monting75 %A Mönting, Jürgen Schulte %D 1975 %J Arch. Math. Log. %K dblp %N 3-4 %P 159-169 %T Interpolation formulae for predicates and terms which carry their own history. %U http://dblp.uni-trier.de/db/journals/aml/aml17.html#Monting75 %V 17

@article{journals/aml/Monting75, added-at = {2017-01-09T00:00:00.000+0100}, author = {Mönting, Jürgen Schulte}, biburl = {https://www.bibsonomy.org/bibtex/22169f999b69abf40aaa564d723c278ae/dblp}, ee = {http://dx.doi.org/10.1007/BF02276804}, interhash = {bfac96dc820c51143ca5c0d56d3805d6}, intrahash = {2169f999b69abf40aaa564d723c278ae}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = {3-4}, pages = {159-169}, timestamp = {2017-01-10T11:35:26.000+0100}, title = {Interpolation formulae for predicates and terms which carry their own history.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml17.html#Monting75}, volume = 17, year = 1975 }