L. Kovacs, A. Voronkov: "Proceedings of the 1st and 2nd Vampire Workshops"; in series "Proceedings of the 1st and 2nd Vampire Workshops", series editor: L. Kovacs, A. Voronkov; issued by: EasyChair; EasyChair EPiC Series in Computing, 2016.