Pont eszembe jutott, hogy a BME-n valamelyik tanszéken egy doktorandusznak ez volt a kutatási témája, csak már nem emlékszem a részleteire, hogy 20 év távlatából vissza tudjam keresni. Tartott egy előadást róla, hogy a Ptk valamelyik (viszonylag szűkebb) részét próbálták átdolgozni logikai állítások rendszerévé, hogy következtető, ill contraint solvert tudjanak ráfuttatni. És elég sok nehézségbe futottak bele.