Merkliste 
 1 Ergebnisse 
 
1

Automated non-monotonic reasoning in System P:

Stojanović, Tatjana ; Ikodinović, Nebojša ; Davidović, Tatjana.
Annals of Mathematics and Artificial Intelligence.  89 (2021)  5-6 - p. 471-509 , 2021