author = "N. Alechina",

title = "{ Interpolation for a sequent calculus of generalized quantifiers}",

booktitle = "Theorem Proving with Analytic Tableaux and Related methods. Proceedings of the 5th International Workshop TABLEAUX'96",

editor = "P. Miglioli and U. Moscato and D. Mundici and M. Ornaghi",

year = "1996",

address = "Terrasini, Palermo Italy",

pages = "36 -- 47",

publisher = "Springer Lecture Notes in Artificial Intelligence 1071",

}

full list