Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York. - Sanskar Sehgal; Yanhong A. Liu (ICLP, 2024)