Efficiently Grounding FOL Using Bit Vectors. - Lucas Van Laer; Simon Vandevelde; Joost Vennekens (LPNMR, 2024)