@InProceedings{SF22,
    Author       = "Steen, A. and Fuenmayor, D.",
    Year         = "2022",
    Title        = "{Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning}",
    Editor       = "Governatori, G. and Turhan, A-Y.",
    BookTitle    = "{Proceedings of the 6th International Joint Conference on Rules and Reasoning}",
    Place        = "Berlin, Germany",
    Series       = "Lecture Notes in Computer Science",
    Number       = "13752",
    Pages        = "244-260",
    Comment      = "TPTPCite,TPTPRef"
}