@InProceedings{BM06,
  author =       {R. Berghammer and U. Milanese},
  title =        {Relational approach to Boolean logic problems},
  booktitle =    {8th International Seminar ``Relational Methods in Computer Science'' and 3rd International Workshop ``Applications of Kleene Algebra'', St. Catharines, Canada, 21.2.--27.2.2005},
  pages =        {48--59},
  year =         {2006},
  editor =       {W. MacCaull and I. D\"unsch and M. Winter},
  volume =       {3929},
  series =       {Lecture Notes in Computer Science},
  address =      {Berlin-Heidelberg-New York},
  publisher =    {Springer}
}