Browse wiki

@book{H+11:llpaul,
    title     = {Logik und Logikprogrammierung, Band 2: Aufgaben
                 und L\"{o}sungen},
    author    = {Steffen H\"{o}lldobler and Sebastian Bader and
                 Bertram Fronh\"{o}fer and Ursula Hans and
                 Pascal Hitzler and Markus Kr\"{o}tzsch and
                 Tobias Pietzsch},
    publisher = {Synchron Publishers Heidelberg},
    year      = {2011}
}