Recognition of Deductive Data Base Stability.

Michael I. Dekhtyar, Alexander Ja. Dikovsky

Browse the full LFCS paper archive.