file.pdf (1.16 MB)
Regular Search Spaces (I): Horn and Normal Clauses
journal contribution
posted on 1993-12-01, 00:00 authored by Alberto Momigliano, Mario OrnaghiAlberto Momigliano and Mario Ornaghi. Regular Search Spaces (I): Horn and Normal Clauses.