@Article{Sla02-JAR,
    Author       = "Slaney, J.K.",
    Year         = "2002",
    Title        = "{More Proofs of an Axiom of \Lukasiewicz}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "29",
    Number       = "1",
    Pages        = "59-66",
    Comment      = "TPTPRef"
}

@InProceedings{Sla02,
    Author       = "Slaney, J.K.",
    Year         = "2002",
    Title        = "{A Benchmark Template for Substructural Logics}",
    Editor       = "Sutcliffe, G. and Pelletier, J. and Suttner, C.B.",
    BookTitle    = "{Proceedings of the CADE-18 Workshop - Problem and Problem
                    Sets for ATP}",
    Place        = "Copenhagen, Denmark",
    Series       = "Department of Computer Science, University of Copenhagen,
                    Technical Report",
    Number       = "02/10",
    Pages        = "",
    Comment      = "TPTPCite"
}