@article{PavlovicD:mapsII,
  title = "Maps {II}: Chasing diagrams in categorical proof theory",
  author = "Dusko Pavlovic",
  year = "1996",
  journal = "J. of the IGPL",
  number = "2",
  pages = "1--36",
  url = "http://www.dcs.kcl.ac.uk/journals/IGPL/V4-2/",
  volume = "4",
}