Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders | Paper Citation Record

Observation 30ec7755-9f37-4521-beba-72ddfca42d1b · outbound

This paper cites Termination of narrowing revisited.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Termination of narrowing revisited

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T15:37:34.923442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0502ea8f-29bc-49f6-89ef-aa66d1fef035 · outbound

This paper cites A needed narrowing strategy.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders A needed narrowing strategy

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T15:37:25.361344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 199ca68e-f4e4-44e3-8b8c-5aad33ef32b7 · outbound

This paper cites A formalisation of nominal α- equivalence with A, C, and AC function symbols.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders A formalisation of nominal α- equivalence with A, C, and AC function symbols

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T15:37:34.699533Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9dcff968-8d1f-430e-8c76-a095e3d23ec6 · outbound

This paper cites Formalising nominal C-unification gener- alised with protected variables.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Formalising nominal C-unification gener- alised with protected variables

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T15:37:34.537729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b0ef0268-50b5-43de-9f1e-09d386cc5a4e · outbound

This paper cites Nominal narrowing, in: Kesner, D., Pientka, B.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Nominal narrowing, in: Kesner, D., Pientka, B

Reference 5

Resolution: verified exact; doi, observed 2026-08-07T15:37:34.313525Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d9754760-ecf6-4e97-8b58-a5b1a7e6406f · outbound

This paper cites On nom- inal syntax and permutation fixed points.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders On nom- inal syntax and permutation fixed points

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T15:37:34.118019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5d4c5716-7d56-4586-8c5a-8e24686e5450 · outbound

This paper cites Nominal AC-matching, in: Dubois, C., Kerber, M.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Nominal AC-matching, in: Dubois, C., Kerber, M

Reference 7

Resolution: verified exact; doi, observed 2026-08-07T15:37:33.920568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 908f7cd4-8298-45ce-813d-bbd698cc960a · outbound

This paper cites Certified first-order ac-unification and applications.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Certified first-order ac-unification and applications

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T15:37:33.689927Z

Source-reported events for the cited work

correction dated 2025-02-18. Source: crossref record 10.1007/s10817-024-09715-4->10.1007/s10817-024-09714-5:correction, observed 2026-07-11T03:01:49.299854+00:00. This notice travels one citation hop only.

Observation 5c8ae7e0-3cbb-472c-bf0a-3d74570aa696 · outbound

This paper cites Nominal equational rewriting and narrowing, in: Pre- proceedings of the 19th Logical and Semantic Frameworks with Appli- cations (LSF A 2024), pp.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Nominal equational rewriting and narrowing, in: Pre- proceedings of the 19th Logical and Semantic Frameworks with Appli- cations (LSF A 2024), pp

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:39.962391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation feb38064-ea5f-426d-b16c-9953c088fe51 · outbound

This paper cites Term rewriting and all that.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Term rewriting and all that

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:39.732515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f6e7fc78-8ba1-4683-91f5-8a212a9acde1 · outbound

This paper cites Tamarin: Verifi- cation of large-scale, real-world, cryptographic protocols.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Tamarin: Verifi- cation of large-scale, real-world, cryptographic protocols

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T15:37:26.097678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cc197d1-6e9b-428f-8757-53ff6124a383 · outbound

This paper cites Matching and alpha-equivalence check for nominal terms.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Matching and alpha-equivalence check for nominal terms

Reference 12

Resolution: malformed identifier; no resolver link, observed 2026-08-07T15:37:26.186638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54f5611e-0d9c-4e82-9e13-934f1fbef845 · outbound

This paper cites The locally nameless representation.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders The locally nameless representation

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T15:37:26.304622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4b41d5b-be62-4e07-99f2-24be6f5d611c · outbound

This paper cites The complexity of equivariant unification, in: D ´ ıaz, J., Karhum¨ aki, J., Lepist¨ o, A., Sannella, D.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders The complexity of equivariant unification, in: D ´ ıaz, J., Karhum¨ aki, J., Lepist¨ o, A., Sannella, D

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:39.504323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 3315ac67-9832-4028-99de-5852cf13240b · outbound

This paper cites Nominal logic programming.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Nominal logic programming

Reference 15

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T15:37:36.941960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 105b7605-2a76-4011-b9ba-b5b4e981eca0 · outbound

This paper cites Deepsec: Deciding equiv- alence properties for security protocols - improved theory and practice.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Deepsec: Deciding equiv- alence properties for security protocols - improved theory and practice

Reference 16

Resolution: verified exact; doi, observed 2026-08-07T15:37:33.449627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b759490b-3b28-4480-90b7-dc0f566c281f · outbound

This paper cites Indistinguishability beyond diff- equivalence in proverif, in: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, IEEE.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Indistinguishability beyond diff- equivalence in proverif, in: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, IEEE

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T15:37:26.704359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff6a147b-1e03-4eaa-806b-2ee5750ea1bc · outbound

This paper cites The finite variant property: How to get rid of some algebraic properties, in: Giesl, J.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders The finite variant property: How to get rid of some algebraic properties, in: Giesl, J

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:39.334566Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation cbcdde4c-2d5a-4482-b7a3-d981ce6868ea · outbound

This paper cites Study of galaxy morphology and merging time of two interacting galaxies under different initial rotation and orientation configurations.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Study of galaxy morphology and merging time of two interacting galaxies under different initial rotation and orientation configurations

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T15:37:26.914169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3582a043-49d1-4a3b-865a-20178740b256 · outbound

This paper cites Equational programming.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Equational programming

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:39.106061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1c527568-0ced-4079-af82-0f56b67e9818 · outbound

This paper cites an unresolved cited work.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:37:38.911175Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 81fa9e82-85dd-4744-b68f-ac8cebbd176c · outbound

This paper cites Mathematical Logic.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Mathematical Logic

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:38.737952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 2603e18c-26f1-433e-991f-c51585aaf8da · outbound

This paper cites Variant narrowing and equa- tional unification, in: Rosu, G.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Variant narrowing and equa- tional unification, in: Rosu, G

Reference 23

Resolution: verified exact; doi, observed 2026-08-07T15:37:33.135081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 2d274ee3-e3a9-4ffe-a607-100c47baa82c · outbound

This paper cites Folding variant narrowing and optimal variant termination.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Folding variant narrowing and optimal variant termination

Reference 24

Resolution: verified exact; doi, observed 2026-08-07T15:37:32.855685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 86efbac3-4621-486b-bf4f-17cecf7d0f68 · outbound

This paper cites Nominal rewriting.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Nominal rewriting

Reference 25

Resolution: verified exact; doi, observed 2026-08-07T15:37:32.670695Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4f6c0194-26b1-4e02-87bc-6d111ad04ad4 · outbound

This paper cites Nominal rewriting with name gen- eration: abstraction vs.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Nominal rewriting with name gen- eration: abstraction vs

Reference 26

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T15:37:36.536259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 28ddb379-3f02-494c-92fa-208127834f17 · outbound

This paper cites Closed nominal rewriting and effi- ciently computable nominal algebra equality, in: Crary, K., Miculan, M.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Closed nominal rewriting and effi- ciently computable nominal algebra equality, in: Crary, K., Miculan, M

Reference 27

Resolution: verified exact; doi, observed 2026-08-07T15:37:32.538406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ff047939-42da-4ac1-a5ca-066757656a0d · outbound

This paper cites A new approach to abstract syntax with variable binding.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders A new approach to abstract syntax with variable binding

Reference 28

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T15:37:38.547809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b53494a9-cc37-42a2-8e54-e249b9317a03 · outbound

This paper cites an unresolved cited work.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Unresolved cited work

Reference 29

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T15:37:36.307281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ede0f7d1-106d-485b-9afc-40c55e687d77 · outbound

This paper cites Higher-order narrowing with definitional trees.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Higher-order narrowing with definitional trees

Reference 30

Resolution: verified exact; doi, observed 2026-08-07T15:37:32.399831Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e31c238f-8ddf-4ca7-b686-57dab570e61c · outbound

This paper cites Canonical forms and unification, in: Bibel, W., Kowalski, R.A.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Canonical forms and unification, in: Bibel, W., Kowalski, R.A

Reference 31

Resolution: verified exact; doi, observed 2026-08-07T15:37:32.306337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ff19d53f-26a4-40a2-aff9-7a8b08ce3c91 · outbound

This paper cites Confluent and coherent equational term rewriting systems: Application to proofs in abstract data types, in: Ausiello, G., Protasi, M.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Confluent and coherent equational term rewriting systems: Application to proofs in abstract data types, in: Ausiello, G., Protasi, M

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T15:37:28.278932Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f16ffea-0020-477d-bf41-dff6097a0bc1 · outbound

This paper cites Incremental con- struction of unification algorithms in equational theories, in: D ´ ıaz, J.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Incremental con- struction of unification algorithms in equational theories, in: D ´ ıaz, J

Reference 33

Resolution: verified exact; doi, observed 2026-08-07T15:37:32.169081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0f90dc91-bb65-49a9-afd1-f8c601926a4f · outbound

This paper cites Matching, unification and complexity.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Matching, unification and complexity

Reference 34

Resolution: verified exact; raw_fallback, observed 2026-08-07T15:37:36.050761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 38a6299c-3fff-4820-a18b-01751230f85e · outbound

This paper cites Confluence and commutation for nom- inal rewriting systems with atom-variables, in: Fern´ andez, M.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Confluence and commutation for nom- inal rewriting systems with atom-variables, in: Fern´ andez, M

Reference 35

Resolution: verified exact; doi, observed 2026-08-07T15:37:31.967578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation beff3581-2879-44e0-be3a-178528246b27 · outbound

This paper cites Nominal unification from a higher-order perspective.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Nominal unification from a higher-order perspective

Reference 36

Resolution: verified exact; doi, observed 2026-08-07T15:37:31.801014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a16a82da-7ff3-477c-90aa-9149daed4564 · outbound

This paper cites Foundations of logic programming.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Foundations of logic programming

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:38.362254Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 09e86029-26ad-43c2-bbc3-bdb34ba78feb · outbound

This paper cites An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis

Reference 38

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T15:37:35.800610Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9e7d2f05-41ac-427d-90aa-5d7d640eb997 · outbound

This paper cites Reasoning with higher-order abstract syntax in a logical framework.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Reasoning with higher-order abstract syntax in a logical framework

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:38.236467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e0cc3dd0-6d4a-44fb-9f7d-789e4fe94219 · outbound

This paper cites Symbolic reachability analysis using narrowing and its application to verification of cryptographic proto- cols.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Symbolic reachability analysis using narrowing and its application to verification of cryptographic proto- cols

Reference 40

Resolution: verified exact; doi, observed 2026-08-07T15:37:31.641050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 21f6c1e2-a9cb-4477-8ae7-4a2299c763fb · outbound

This paper cites Completeness results for ba- sic narrowing.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Completeness results for ba- sic narrowing

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T15:37:29.632907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a05f69a-038b-4b6d-b880-43ee8fcf1834 · outbound

This paper cites Semantic unification for convergent systems.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Semantic unification for convergent systems

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:38.066160Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 06103eab-469c-4c51-a79f-a06e0883e6a6 · outbound

This paper cites Basic narrowing revisited.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Basic narrowing revisited

Reference 43

Resolution: verified exact; doi, observed 2026-08-07T15:37:31.442113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 20cbc9e8-7f3b-4a07-a29f-a0f68b834129 · outbound

This paper cites Solving Higher-Order Equations: From Logic to Programming.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Solving Higher-Order Equations: From Logic to Programming

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:37.870581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b8c4fda7-4a53-4650-a2c0-56d893e54837 · outbound

This paper cites Nominal commu- tative narrowing (work in progress), in: Informal Proceedings of UNIF 2024: The 38th International Workshop on Unifica- tion, pp.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Nominal commu- tative narrowing (work in progress), in: Informal Proceedings of UNIF 2024: The 38th International Workshop on Unifica- tion, pp

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:37.662458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 66926fc7-54a8-4fa0-b7de-c8fd7635b35e · outbound

This paper cites an unresolved cited work.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:37:37.538526Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 34fab0c6-c327-4121-a261-12c1c81e43a0 · outbound

This paper cites Type-level computation using narrowing in Ωmega.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Type-level computation using narrowing in Ωmega

Reference 47

Resolution: verified exact; doi, observed 2026-08-07T15:37:31.262140Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 113ffef3-c777-45ac-bec2-5eeeaf7e2549 · outbound

This paper cites an unresolved cited work.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Unresolved cited work

Reference 48

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T15:37:35.464386Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 08810c91-bc4e-4f87-8e58-b0e639fa6c13 · outbound

This paper cites A unification algorithm for associative-commutative functions.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders A unification algorithm for associative-commutative functions

Reference 49

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T15:37:35.167302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation cc7d537b-644d-4733-a6bf-f090eae0ac08 · outbound

This paper cites Nominal unification.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Nominal unification

Reference 50

Resolution: verified exact; doi, observed 2026-08-07T15:37:31.100227Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 950cd5de-eddd-4746-9c3a-486b4e710011 · outbound

This paper cites E-unifiability via narrowing, in: Restivo, A., Rocca, S.R.D., Roversi, L.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders E-unifiability via narrowing, in: Restivo, A., Rocca, S.R.D., Roversi, L

Reference 51

Resolution: verified exact; doi, observed 2026-08-07T15:37:30.926416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 83df0126-edd8-41c9-a8d7-bbba4479bcaf · outbound

This paper cites an unresolved cited work.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Unresolved cited work

Reference 136

Resolution: unresolved; no resolver link, observed 2026-08-07T15:37:29.387174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28839df6-38fd-4617-a995-928380e5a925 · outbound

This paper cites an unresolved cited work.

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders Unresolved cited work

Reference 2022

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T15:37:37.357068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers