Regular Search Spaces (I): Horn and Normal Clauses

1993-12-01T00:00:00Z (GMT) by Alberto Momigliano Mario Ornaghi
Alberto Momigliano and Mario Ornaghi. Regular Search Spaces (I): Horn and Normal Clauses.

Categories

Keyword(s)

License

In Copyright