diff --git a/DCLP/64/63850.xml b/DCLP/64/63850.xml index 3c94725f8253..1fd7e8404df2 100644 --- a/DCLP/64/63850.xml +++ b/DCLP/64/63850.xml @@ -169,7 +169,7 @@
- + P. Mich. Inv. 2906, A Fragment of Logic.