Efficient model construction for Horn logic with VLog (system description)
scientific article; zbMATH DE number 6958130