Lifschitz Vladimir Aleksandrovich

Presentations in Math-Net.Ru

1. Stable models of logic programs
   V. A. Lifschitz
   Meetings of the St. Petersburg Mathematical Society
   June 18, 2002