%0 Book %1 Hoppe1995 %A Hoppe, Thomas %B DISKI %D 1995 %I Infix %K dblp imported puma test %P I-XI, 1-190 %T Incremental partial deduction. %V 97 %@ 978-3-89601-097-1

@book{Hoppe1995, added-at = {2017-05-18T15:42:02.000+0200}, author = {Hoppe, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f3ee2e81c335797b6fdd1ba60b6e743d/droessler}, groups = {public}, interhash = {7ee0f7ce610985c2728fedfb4a2862ce}, intrahash = {f3ee2e81c335797b6fdd1ba60b6e743d}, isbn = {978-3-89601-097-1}, keywords = {dblp imported puma test}, pages = {I-XI, 1-190}, publisher = {Infix}, series = {DISKI}, timestamp = {2018-02-28T22:22:06.000+0100}, title = {Incremental partial deduction.}, username = {droessler}, volume = 97, year = 1995 }