학술논문
Reconstructing a single-head formula to facilitate logical forgetting
Document Type
Article
Author
Source
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 October 2023, 33(7):1596-1624)
Subject
Language
English
ISSN
1465363X
0955792X
0955792X