Witnessing Functions in Bounded Arithmetic and Search Problems. - Mario Chiari; Jan Krajícek (J. Symb. Log., 1998)

Lifting independence results in bounded arithmetic. - Mario Chiari; Jan Krajícek (Arch. Math. Log., 1999)

Semantic Refinement for Web Information Retrieval. - Claudia Deco; Cristina Bender; J. Saer; Mario Chiari; Regina Motz (LA-WEB, 2005)