@book{
    bol:dzi:ryc:sza:98,
    author = "Bolc, Leonard and Dziewicki, Krzysztof and Rychlik, Piotr and Szałas, Andrzej",
    publisher = "Akademicka Oficyna Wydawnicza RM",
    address = "Warsaw",
    title = "Wnioskowanie w~logikach nieklasycznych. Automatyzacja wnioskowania",
    year = "1998"
}