All Proper Normal Extensions of S5-square have the Polynomial Size Model Property.

Nick Bezhanishvili Maarten Marx

Published in: Stud Logica (2003)

Keyphrases

relational databases
theoretical analysis