@Book{SS86,
    Author       = "Sterling, L. and Shapiro, E.",
    Year         = "1986",
    Title        = "{The Art of Prolog}",
    Publisher    = "MIT Press",
    Comment      = "TPTPRef"
}