@misc {IOPORT.70117532,
    author       = {Baumgartner, Peter},
    title        = {FDPLL - A first order Davis-Putnam-longeman-loveland procedure},
    howpublished = {CADE, 200-219 (2000).},
    year         = {2000},
    doi          = {10.1007/10721959_16},
    identifier   = {70117532},
}