@inproceedings{BeierleMeyerSemle91,
   AUTHOR = "C. Beierle and G. Meyer and H. Semle",
   TITLE = "Extending the {W}arren {A}bstract {M}achine
            to polymorphic order-sorted resolution",
    BOOKTITLE = "Logic Programming: Proceedings of the
                 1991 International Symposium",
    BOOKTITLE1 = "Proc. International Logic Programming Symposium",
    YEAR = 1991,
    EDITOR = "V. Saraswat and K. Ueda",
    PAGES = "272--286",
    PUBLISHER = {MIT Press},
    ADDRESS = {Cambridge, MA},
    ADDRESSconf = {San Diego},
    MONTHconf = "October"       }