@incollection{AST_1976__38-39__3_0,
     author = {Ausiello, Giorgio},
     title = {Difficult logical theories and their computer approximations},
     booktitle = {Journ\'ees algorithmiques},
     series = {Ast\'erisque},
     pages = {3--21},
     year = {1976},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {38-39},
     zbl = {0365.02022},
     mrnumber = {476470},
     language = {en},
     url = {https://www.numdam.org/item/AST_1976__38-39__3_0/}
}