OTKA
                              Hungarian Scientific Research Fund


                              Principal Inv.: Miklós Ferenczi

                              Logics and Applications,  T 007275, 1992-1995
                       
                        Logics and Applications,  T 023234, 1995-1999
                       
                                     OTKAyaro1

                        Logics and Applications, T 035192, 2001-2005
                        

                                           OTKAyaro2