@misc {IOPORT.70263984,
    author       = {Belov, Anton and Stachniak, Zbigniew},
    title        = {Substitutional definition of satisfiability in classical propositional logic},
    howpublished = {SAT, 31-45 (2005).},
    year         = {2005},
    doi          = {10.1007/11499107_3},
    identifier   = {70263984},
}