S
[Sch98] Stefan Schwendimann. A New One-Pass Tableau Calculus for PLTL. In TABLEAUX'98, Lecture Notes in Computer Science 1397, pages 277-292. Springer-Verlag, mai 1998. 
@inproceedings{tableaux1998-Sch,
  author =              {Schwendimann, Stefan},
  title =               {A New One-Pass Tableau Calculus for {PLTL}},
  editor =              {de Swart, Harrie C. M.},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}onference on {A}utomated {R}easoning with
                         {A}nalytic {T}ableaux and {R}elated {M}ethods
                         ({TABLEAUX}'98)},
  acronym =             {{TABLEAUX}'98},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1397},
  pages =               {277-292},
  year =                {1998},
  month =               may,
}
Liste des auteurs