X-pire! - A digital expiration date for images in social networks - Julian Backes; Michael Backes 001; Markus Dürmuth; Sebastian Gerling; Stefan Lorenz (CoRR, 2011)

Analytic Tableaux for Higher-Order Logic with Choice. - Julian Backes; Chad E. Brown (J. Autom. Reason., 2011)