Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation
AuthID
P-00Y-K3T
P-00Y-K3T
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service