@article{ITA_1982__16_3_201_0,
     author = {Apolloni, B. and Di Gregorio, S.},
     title = {A probabilistic analysis of a new satisfiability algorithm},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {201--223},
     publisher = {EDP-Sciences},
     volume = {16},
     number = {3},
     year = {1982},
     mrnumber = {686913},
     zbl = {0489.68038},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1982__16_3_201_0/}
}