@Inproceedings{Meyer94WLP 
,Author   = {G. Meyer}
,Title    = "{Zur Modellierung in der ordnungssortierten Programmierung}"
,Booktitle= "Workshop on Logic Programming"
,AddresS  = "Z{\"u}rich"
,Editor   = {N. Fuchs}    
,Year     = 1994 }