Content deleted Content added
case fix; +wl Skolemization |
m Open access bot: arxiv updated in citation with #oabot. |
||
Line 406:
| date=2001
| pages=71–102
| doi=10.1007/s000120050203 | doi-access=free
}}
* {{cite book
| last1=Grätzer | first1=George
Line 686 ⟶ 687:
| date=1998b
| pages=247–411
| doi=10.1007/s000120050091 | doi-access=free
}}
* {{cite journal
| last1=Wehrung | first1=Friedrich
Line 715 ⟶ 717:
| date=2003
| pages=127–193
| doi=10.1016/S0021-8693(03)00015-2 | doi-access=free
}}
* {{cite journal
| last1=Wehrung | first1=Friedrich
|