Strong Completeness of the Closed Fragment of GLP.

Juan P. Aguilera, Grigorii Stepanov

Browse the full AiML paper archive.