✓

@book{book_762079,
    title = {Generic Inference: A Unifying Theory for Automated Reasoning},
    author = {Marc Pouly and Juerg Kohlas},
    publisher = {Wiley},
    isbn = {0470527013,9780470527016,9781118010877},
    year = {2011},
    series = {},
    edition = {1},
    volume = {},
    url = {http://gen.lib.rus.ec/book/index.php?md5=9ee54496cb2fa16014e49312c595131d},
    date-added = {2024-12-7 9:48:38 +0100}
}

@book{book_762079, title = {Generic Inference: A Unifying Theory for Automated Reasoning}, author = {Marc Pouly and Juerg Kohlas}, publisher = {Wiley}, isbn = {0470527013,9780470527016,9781118010877}, year = {2011}, series = {}, edition = {1}, volume = {}, url = {http://gen.lib.rus.ec/book/index.php?md5=9ee54496cb2fa16014e49312c595131d}, date-added = {2024-12-7 9:48:38 +0100} }