@article{journals/mst/GottlobHR04,
  title = "{2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword}",
  author = "Georg Gottlob and Miki Hermann and Micha{\"e}l Rusinowitch",
  year = "2004",
  journal = "Theory Comput. Syst.",
  number = "6",
  pages = "639-640",
  volume = "37",
  doi = "http://dx.doi.org/10.1007/s00224-004-3706-1",
}