@inbook{pagnan_2013, 
  title={A Diagrammatic Calculus of Syllogisms}, 
  DOI={10.1007/978-3-0348-0600-8_3}, 
  publisher={Springer Basel}, 
  author={Pagnan}, 
  year={2013}
  }