@article{SJC_2023_16_2_a0,
     author = {Dobrev, Dimiter},
     title = {Language for {Description} of {Worlds.} {Part} 1: {Theoretical} {Foundation}},
     journal = {Serdica Journal of Computing},
     pages = {101--150},
     publisher = {mathdoc},
     volume = {16},
     number = {2},
     year = {2023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SJC_2023_16_2_a0/}
}