add volume number to Matita JAR paper
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 21 Jun 2008 13:21:09 +0000 (15:21 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 21 Jun 2008 13:21:09 +0000 (15:21 +0200)
research/publications.mdwn

index 956d612..3f23088 100644 (file)
@@ -32,9 +32,9 @@ in reverse chronological order.
       **User Interaction with the Matita Proof Assistant**
       . <em>
        In <a href="http://www-unix.mcs.anl.gov/JAR/">Journal of Automated
-         Reasoning</a>, <a href="http://springerlink.metapress.com/content/h81468706x24/">Special
-         Issue on User Interfaces for Theorem Proving</a>, Springer
-       Netherlands, ISSN 0168-7433, <a href="http://springerlink.metapress.com/content/y4wt440q28136q47">pp.
+         Reasoning</a>, <a href="http://springerlink.metapress.com/content/h81468706x24/">Volume
+         39, Number 2, Special Issue on User Interfaces for Theorem
+         Proving</a>, Springer Netherlands, ISSN 0168-7433, <a href="http://springerlink.metapress.com/content/y4wt440q28136q47">pp.
          109-139</a>, 2007.
       </em>
     [[toggle id=id9 text="Abstract..."]] [[toggleable id=id9 text="""